Ideas from 'On boundary numbers and domains of sets' by Ernst Zermelo [1930], by Theme Structure
[found in 'From Kant to Hilbert: sourcebook Vol. 2' (ed/tr Ewald,William) [OUP 1996,0-19-850536-1]].
green numbers give full details |
back to texts
|
expand these ideas
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
|
17832
|
Zermelo showed that the ZF axioms in 1930 were non-categorical [Hallett,M]
|
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / h. Axiom of Replacement VII
|
13028
|
Replacement was added when some advanced theorems seemed to need it [Maddy]
|
5. Theory of Logic / L. Paradox / 3. Antinomies
|
17626
|
The antinomy of endless advance and of completion is resolved in well-ordered transfinite numbers
|